/* Firefox */

pre {-moz-border-radius:11px;}

.example {-moz-border-radius:15px;}

div.note, div.tip, div.important, div.caution, div.warning {-moz-border-radius:11px;}
